A Module System for C++ (Revision 4)

A Module System for C++ (Revision 2)

We present a design of and a specification of module system for C++. The proposal focuses on programmer’s view of modules (both production and consumption) and how to better support modular programming in the large, componentization, scalable compilation, and semantics-aware developer tools.

Dilations for $C^ast$-dynamical systems with abelian groups on Hilbert $C^ast$-modules

‎In this paper we investigate the dilations of completely positive definite representations‎ ‎of (C^ast)-dynamical systems with abelian groups on Hilbert (C^ast)-modules‎. ‎We show that if ((mathcal{A}‎, ‎G,alpha)) is a (C^ast)-dynamical system with (G) an abelian group‎, ‎then every completely positive definite covariant representation ((pi,varphi,E)) of ((mathcal{A}‎, ‎G,alpha)) on a Hilbert ...

A Module System for C++ (Revision 3)

We present a design of a module system for C++, along with rationale for the design choices. The document focuses on programmer’s view of modules (both production and consumption) and how to better support modular programming in the large, componentization, scalable compilation, and semantics-aware developer tools.

extend numerical radius for adjointable operators on Hilbert C^* -modules

In this paper, a new definition of numerical radius for adjointable operators in Hilbert -module space will be introduced. We also give a new proof of numerical radius inequalities for Hilbert space operators.

Dynamical Systems on Hilbert C*-Modules